The overlap algebra of regular opens

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Regular opens in constructive topology and a representation theorem for overlap algebras

Giovanni Sambin has recently introduced the notion of an overlap algebra in order to give a constructive counterpart to a complete Boolean algebra. We propose a new notion of regular open subset within the framework of intuitionistic, predicative Topology and we use it to give a representation theorem for (set-based) overlap algebras. In particular we show that there exists a duality between th...

متن کامل

Overlap-Free Regular Languages

We define a language to be overlap-free if any two distinct strings in the language do not overlap with each other. We observe that overlap-free languages are a proper subfamily of infix-free languages and also a proper subfamily of comma-free languages. Based on these observations, we design a polynomial-time algorithm that determines overlapfreeness of a regular language. We consider two case...

متن کامل

Logic Meets Algebra: the Case of Regular Languages

The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according to their descriptive complexity, i.e. the type of logical formalism required to define them. The algebraic point of view on automata is an essential complement of this classification: by providing alternative, algebraic ...

متن کامل

The Regular C * - algebra of an Integral Domain Joachim Cuntz

To each integral domain R with finite quotients we associate a purely infinite simple C*-algebra in a very natural way. Its stabilization can be identified with the crossed product of the algebra of continuous functions on the “finite adele space” corresponding to R by the action of the ax+ b-group over the quotient field Q(R). We study the relationship to generalized Bost-Connes systems and de...

متن کامل

Structure that Opens the Gate and Opens the Door

Sometimes the best way to solve a problem is to look at it from a different perspective. That is certainly the case in ion channel research. Hodgkin and Huxley must have realized that 50 years ago when they looked at membrane currents with a voltage clamp, and Sakmann and Neher realized it 20 years ago when they measured Possible Symmetries of Tetrameric Channel single-channel currents with the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Pure and Applied Algebra

سال: 2010

ISSN: 0022-4049

DOI: 10.1016/j.jpaa.2010.02.002